w{-}msg($w$; $a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$msg(lnk(w{-}kind($w$; $a$));tag(w{-}kind($w$; $a$));w{-}val($w$; $a$))